Optimal. Leaf size=424 \[ -\frac{256 (2 c d-b e)^4 \left (d (c d-b e)-b e^2 x-c e^2 x^2\right )^{7/2} (-10 b e g+3 c d g+17 c e f)}{765765 c^6 e^2 (d+e x)^{7/2}}-\frac{128 (2 c d-b e)^3 \left (d (c d-b e)-b e^2 x-c e^2 x^2\right )^{7/2} (-10 b e g+3 c d g+17 c e f)}{109395 c^5 e^2 (d+e x)^{5/2}}-\frac{32 (2 c d-b e)^2 \left (d (c d-b e)-b e^2 x-c e^2 x^2\right )^{7/2} (-10 b e g+3 c d g+17 c e f)}{12155 c^4 e^2 (d+e x)^{3/2}}-\frac{16 (2 c d-b e) \left (d (c d-b e)-b e^2 x-c e^2 x^2\right )^{7/2} (-10 b e g+3 c d g+17 c e f)}{3315 c^3 e^2 \sqrt{d+e x}}-\frac{2 \sqrt{d+e x} \left (d (c d-b e)-b e^2 x-c e^2 x^2\right )^{7/2} (-10 b e g+3 c d g+17 c e f)}{255 c^2 e^2}-\frac{2 g (d+e x)^{3/2} \left (d (c d-b e)-b e^2 x-c e^2 x^2\right )^{7/2}}{17 c e^2} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.76409, antiderivative size = 424, normalized size of antiderivative = 1., number of steps used = 6, number of rules used = 3, integrand size = 46, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.065, Rules used = {794, 656, 648} \[ -\frac{256 (2 c d-b e)^4 \left (d (c d-b e)-b e^2 x-c e^2 x^2\right )^{7/2} (-10 b e g+3 c d g+17 c e f)}{765765 c^6 e^2 (d+e x)^{7/2}}-\frac{128 (2 c d-b e)^3 \left (d (c d-b e)-b e^2 x-c e^2 x^2\right )^{7/2} (-10 b e g+3 c d g+17 c e f)}{109395 c^5 e^2 (d+e x)^{5/2}}-\frac{32 (2 c d-b e)^2 \left (d (c d-b e)-b e^2 x-c e^2 x^2\right )^{7/2} (-10 b e g+3 c d g+17 c e f)}{12155 c^4 e^2 (d+e x)^{3/2}}-\frac{16 (2 c d-b e) \left (d (c d-b e)-b e^2 x-c e^2 x^2\right )^{7/2} (-10 b e g+3 c d g+17 c e f)}{3315 c^3 e^2 \sqrt{d+e x}}-\frac{2 \sqrt{d+e x} \left (d (c d-b e)-b e^2 x-c e^2 x^2\right )^{7/2} (-10 b e g+3 c d g+17 c e f)}{255 c^2 e^2}-\frac{2 g (d+e x)^{3/2} \left (d (c d-b e)-b e^2 x-c e^2 x^2\right )^{7/2}}{17 c e^2} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 794
Rule 656
Rule 648
Rubi steps
\begin{align*} \int (d+e x)^{3/2} (f+g x) \left (c d^2-b d e-b e^2 x-c e^2 x^2\right )^{5/2} \, dx &=-\frac{2 g (d+e x)^{3/2} \left (d (c d-b e)-b e^2 x-c e^2 x^2\right )^{7/2}}{17 c e^2}-\frac{\left (2 \left (\frac{7}{2} e \left (-2 c e^2 f+b e^2 g\right )+\frac{3}{2} \left (-c e^3 f+\left (-c d e^2+b e^3\right ) g\right )\right )\right ) \int (d+e x)^{3/2} \left (c d^2-b d e-b e^2 x-c e^2 x^2\right )^{5/2} \, dx}{17 c e^3}\\ &=-\frac{2 (17 c e f+3 c d g-10 b e g) \sqrt{d+e x} \left (d (c d-b e)-b e^2 x-c e^2 x^2\right )^{7/2}}{255 c^2 e^2}-\frac{2 g (d+e x)^{3/2} \left (d (c d-b e)-b e^2 x-c e^2 x^2\right )^{7/2}}{17 c e^2}+\frac{(8 (2 c d-b e) (17 c e f+3 c d g-10 b e g)) \int \sqrt{d+e x} \left (c d^2-b d e-b e^2 x-c e^2 x^2\right )^{5/2} \, dx}{255 c^2 e}\\ &=-\frac{16 (2 c d-b e) (17 c e f+3 c d g-10 b e g) \left (d (c d-b e)-b e^2 x-c e^2 x^2\right )^{7/2}}{3315 c^3 e^2 \sqrt{d+e x}}-\frac{2 (17 c e f+3 c d g-10 b e g) \sqrt{d+e x} \left (d (c d-b e)-b e^2 x-c e^2 x^2\right )^{7/2}}{255 c^2 e^2}-\frac{2 g (d+e x)^{3/2} \left (d (c d-b e)-b e^2 x-c e^2 x^2\right )^{7/2}}{17 c e^2}+\frac{\left (16 (2 c d-b e)^2 (17 c e f+3 c d g-10 b e g)\right ) \int \frac{\left (c d^2-b d e-b e^2 x-c e^2 x^2\right )^{5/2}}{\sqrt{d+e x}} \, dx}{1105 c^3 e}\\ &=-\frac{32 (2 c d-b e)^2 (17 c e f+3 c d g-10 b e g) \left (d (c d-b e)-b e^2 x-c e^2 x^2\right )^{7/2}}{12155 c^4 e^2 (d+e x)^{3/2}}-\frac{16 (2 c d-b e) (17 c e f+3 c d g-10 b e g) \left (d (c d-b e)-b e^2 x-c e^2 x^2\right )^{7/2}}{3315 c^3 e^2 \sqrt{d+e x}}-\frac{2 (17 c e f+3 c d g-10 b e g) \sqrt{d+e x} \left (d (c d-b e)-b e^2 x-c e^2 x^2\right )^{7/2}}{255 c^2 e^2}-\frac{2 g (d+e x)^{3/2} \left (d (c d-b e)-b e^2 x-c e^2 x^2\right )^{7/2}}{17 c e^2}+\frac{\left (64 (2 c d-b e)^3 (17 c e f+3 c d g-10 b e g)\right ) \int \frac{\left (c d^2-b d e-b e^2 x-c e^2 x^2\right )^{5/2}}{(d+e x)^{3/2}} \, dx}{12155 c^4 e}\\ &=-\frac{128 (2 c d-b e)^3 (17 c e f+3 c d g-10 b e g) \left (d (c d-b e)-b e^2 x-c e^2 x^2\right )^{7/2}}{109395 c^5 e^2 (d+e x)^{5/2}}-\frac{32 (2 c d-b e)^2 (17 c e f+3 c d g-10 b e g) \left (d (c d-b e)-b e^2 x-c e^2 x^2\right )^{7/2}}{12155 c^4 e^2 (d+e x)^{3/2}}-\frac{16 (2 c d-b e) (17 c e f+3 c d g-10 b e g) \left (d (c d-b e)-b e^2 x-c e^2 x^2\right )^{7/2}}{3315 c^3 e^2 \sqrt{d+e x}}-\frac{2 (17 c e f+3 c d g-10 b e g) \sqrt{d+e x} \left (d (c d-b e)-b e^2 x-c e^2 x^2\right )^{7/2}}{255 c^2 e^2}-\frac{2 g (d+e x)^{3/2} \left (d (c d-b e)-b e^2 x-c e^2 x^2\right )^{7/2}}{17 c e^2}+\frac{\left (128 (2 c d-b e)^4 (17 c e f+3 c d g-10 b e g)\right ) \int \frac{\left (c d^2-b d e-b e^2 x-c e^2 x^2\right )^{5/2}}{(d+e x)^{5/2}} \, dx}{109395 c^5 e}\\ &=-\frac{256 (2 c d-b e)^4 (17 c e f+3 c d g-10 b e g) \left (d (c d-b e)-b e^2 x-c e^2 x^2\right )^{7/2}}{765765 c^6 e^2 (d+e x)^{7/2}}-\frac{128 (2 c d-b e)^3 (17 c e f+3 c d g-10 b e g) \left (d (c d-b e)-b e^2 x-c e^2 x^2\right )^{7/2}}{109395 c^5 e^2 (d+e x)^{5/2}}-\frac{32 (2 c d-b e)^2 (17 c e f+3 c d g-10 b e g) \left (d (c d-b e)-b e^2 x-c e^2 x^2\right )^{7/2}}{12155 c^4 e^2 (d+e x)^{3/2}}-\frac{16 (2 c d-b e) (17 c e f+3 c d g-10 b e g) \left (d (c d-b e)-b e^2 x-c e^2 x^2\right )^{7/2}}{3315 c^3 e^2 \sqrt{d+e x}}-\frac{2 (17 c e f+3 c d g-10 b e g) \sqrt{d+e x} \left (d (c d-b e)-b e^2 x-c e^2 x^2\right )^{7/2}}{255 c^2 e^2}-\frac{2 g (d+e x)^{3/2} \left (d (c d-b e)-b e^2 x-c e^2 x^2\right )^{7/2}}{17 c e^2}\\ \end{align*}
Mathematica [A] time = 0.424684, size = 367, normalized size = 0.87 \[ \frac{2 (b e-c d+c e x)^3 \sqrt{(d+e x) (c (d-e x)-b e)} \left (16 b^2 c^3 e^2 \left (3 d^2 e (2397 f+4249 g x)+10864 d^3 g+294 d e^2 x (17 f+21 g x)+21 e^3 x^2 (51 f+55 g x)\right )-32 b^3 c^2 e^3 \left (2253 d^2 g+2 d e (391 f+756 g x)+7 e^2 x (34 f+45 g x)\right )+128 b^4 c e^4 (118 d g+17 e f+35 e g x)-1280 b^5 e^5 g-2 b c^4 e \left (42 d^2 e^2 x (3842 f+4287 g x)+4 d^3 e (32623 f+50554 g x)+104843 d^4 g+84 d e^3 x^2 (969 f+968 g x)+231 e^4 x^3 (68 f+65 g x)\right )+c^5 \left (126 d^2 e^3 x^2 (4471 f+3949 g x)+28 d^3 e^2 x (21097 f+19638 g x)+d^4 e (278171 f+329469 g x)+94134 d^5 g+462 d e^4 x^3 (578 f+507 g x)+3003 e^5 x^4 (17 f+15 g x)\right )\right )}{765765 c^6 e^2 \sqrt{d+e x}} \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [A] time = 0.007, size = 535, normalized size = 1.3 \begin{align*} -{\frac{ \left ( 2\,cex+2\,be-2\,cd \right ) \left ( -45045\,g{e}^{5}{x}^{5}{c}^{5}+30030\,b{c}^{4}{e}^{5}g{x}^{4}-234234\,{c}^{5}d{e}^{4}g{x}^{4}-51051\,{c}^{5}{e}^{5}f{x}^{4}-18480\,{b}^{2}{c}^{3}{e}^{5}g{x}^{3}+162624\,b{c}^{4}d{e}^{4}g{x}^{3}+31416\,b{c}^{4}{e}^{5}f{x}^{3}-497574\,{c}^{5}{d}^{2}{e}^{3}g{x}^{3}-267036\,{c}^{5}d{e}^{4}f{x}^{3}+10080\,{b}^{3}{c}^{2}{e}^{5}g{x}^{2}-98784\,{b}^{2}{c}^{3}d{e}^{4}g{x}^{2}-17136\,{b}^{2}{c}^{3}{e}^{5}f{x}^{2}+360108\,b{c}^{4}{d}^{2}{e}^{3}g{x}^{2}+162792\,b{c}^{4}d{e}^{4}f{x}^{2}-549864\,{c}^{5}{d}^{3}{e}^{2}g{x}^{2}-563346\,{c}^{5}{d}^{2}{e}^{3}f{x}^{2}-4480\,{b}^{4}c{e}^{5}gx+48384\,{b}^{3}{c}^{2}d{e}^{4}gx+7616\,{b}^{3}{c}^{2}{e}^{5}fx-203952\,{b}^{2}{c}^{3}{d}^{2}{e}^{3}gx-79968\,{b}^{2}{c}^{3}d{e}^{4}fx+404432\,b{c}^{4}{d}^{3}{e}^{2}gx+322728\,b{c}^{4}{d}^{2}{e}^{3}fx-329469\,{c}^{5}{d}^{4}egx-590716\,{c}^{5}{d}^{3}{e}^{2}fx+1280\,{b}^{5}{e}^{5}g-15104\,{b}^{4}cd{e}^{4}g-2176\,{b}^{4}c{e}^{5}f+72096\,{b}^{3}{c}^{2}{d}^{2}{e}^{3}g+25024\,{b}^{3}{c}^{2}d{e}^{4}f-173824\,{b}^{2}{c}^{3}{d}^{3}{e}^{2}g-115056\,{b}^{2}{c}^{3}{d}^{2}{e}^{3}f+209686\,b{c}^{4}{d}^{4}eg+260984\,b{c}^{4}{d}^{3}{e}^{2}f-94134\,{c}^{5}{d}^{5}g-278171\,f{d}^{4}{c}^{5}e \right ) }{765765\,{c}^{6}{e}^{2}} \left ( -c{e}^{2}{x}^{2}-b{e}^{2}x-bde+c{d}^{2} \right ) ^{{\frac{5}{2}}} \left ( ex+d \right ) ^{-{\frac{5}{2}}}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [B] time = 1.47327, size = 1496, normalized size = 3.53 \begin{align*} \text{result too large to display} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [B] time = 1.55421, size = 2543, normalized size = 6. \begin{align*} \text{result too large to display} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F(-1)] time = 0., size = 0, normalized size = 0. \begin{align*} \text{Timed out} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [F(-1)] time = 0., size = 0, normalized size = 0. \begin{align*} \text{Timed out} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]